\relax 
\citation{bookMobileProcesses}
\citation{bookMobileProcesses}
\citation{Jones}
\citation{javapi}
\citation{inria}
\citation{typedConcurrentObjects}
\citation{pict}
\citation{distPi}
\citation{jdpi}
\citation{spiCalculus}
\citation{spim}
\citation{spimSite}
\citation{spim_concurrent}
\citation{stochastic_dynamic}
\citation{stochastic_graph}
\citation{appliedPi}
\citation{Escrow}
\citation{auctionFree}
\citation{probabilistic_appliedpi}
\citation{biosimulation_appliedpi}
\citation{FGJ}
\citation{JavaTypeSoundness}
\citation{JVM}
\citation{javalight}
\citation{stm_intro}
\@writefile{toc}{\contentsline {chapter}{\numberline {2}Previous Work}{4}{chapter.9}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\@setckpt{PreviousWork}{
\setcounter{page}{7}
\setcounter{equation}{0}
\setcounter{enumi}{0}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{2}
\setcounter{section}{0}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{0}
\setcounter{table}{0}
\setcounter{parentequation}{0}
\setcounter{@pps}{0}
\setcounter{@ppsavesec}{0}
\setcounter{@ppsaveapp}{0}
\setcounter{float@type}{16}
\setcounter{algorithm}{0}
\setcounter{ALC@unique}{0}
\setcounter{ALC@line}{0}
\setcounter{ALC@rem}{0}
\setcounter{ALC@depth}{0}
\setcounter{lstnumber}{1}
\setcounter{NAT@ctr}{0}
\setcounter{Item}{0}
\setcounter{Hfootnote}{0}
\setcounter{AM@survey}{0}
\setcounter{subfigure}{0}
\setcounter{lofdepth}{1}
\setcounter{subtable}{0}
\setcounter{lotdepth}{1}
\setcounter{example}{0}
\setcounter{definition}{0}
\setcounter{lstlisting}{0}
\setcounter{section@level}{1}
}
